Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
991	On the Complexity of Deciding Sense of Direction∗ Paolo Boldi† Sebastiano Vigna† Abstract Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:50:05 Functions and mappings Nonassociative algebra Group theory Combinatory logic Lambda calculus Constructible universe Curry–Howard correspondence Function Quasigroup Mathematics Abstract algebra Logic in computer science
992	1 Efficient Reasoning about Data Trees via Integer Linear Programming CLAIRE DAVID, Universit´e Paris-Est LEONID LIBKIN, University of Edinburgh TONY TAN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:06:25 Electronic design automation Formal methods Logic in computer science NP-complete problems Complexity classes Satisfiability Modulo Theories Symbol Boolean satisfiability problem P-complete Theoretical computer science Computational complexity theory Applied mathematics
993	Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:19:38 Fluent Constraint programming Algebra FO Variable Distributed constraint optimization Mathematics Theoretical computer science Logic in computer science
994	The Phase Transition in Exact Cover Vamsi Kalapala∗ and Cristopher Moore∗,† {vamsi,moore}@cs.unm.edu, ∗ Department of Computer Science, University of New Mexico Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2008-10-23 11:39:06 Automated theorem proving NP-complete problems Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Resolution Unit propagation Constraint satisfaction Theoretical computer science Mathematics Applied mathematics
995	Lessons In Electric Circuits -- Volume IV Chapter 9 COMBINATIONAL LOGIC FUNCTIONS • • • Add to Reading List Source URL: www.saylor.org Language: English - Date: 2013-03-20 16:11:32 Digital electronics Adders Mathematics Binary logic Computer arithmetic XOR gate Combinational logic Decoder Sequential logic Electronic engineering Logic gates Theoretical computer science
996	A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
997	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science
998	Specification and Verification of Event Detectors and Responses Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-10-28 08:11:48 Logic in computer science Aspect-oriented programming Formal verification Model checking Grammatical aspect E Formal specification Abstraction Software development Formal methods Aspect-oriented software development
999	Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Formal methods Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Quicken Interchange Format Java Pathfinder Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
1000	ZU064-05-FPR rhiger-submitted 18 August 2008 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-10-17 11:56:59 Lambda calculus Type theory Data types Functional programming Logic in computer science Pattern matching Standard ML Combinatory logic Fixed-point combinator Software engineering Theoretical computer science Computing